_require "180_datatype2.smi"
datatype t1 = T   (* <- This should be datatype t1 = datatype S.t2 *)
